Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Paliath Narendran »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Pakawat Pupatwibul < Paliath Narendran < Paloma Ballesteros  Facettes :

List of bibliographic references indexed by Paliath Narendran

Number of relevant bibliographic references: 47.
Ident.Authors (with country if any)Title
000316 (2015-09-21) Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Unification and Matching in Hierarchical Combinations of Syntactic Theories
000C18 (2014-04-05) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]On Asymmetric Unification and the Combination Problem in Disjoint Theories
000C88 (2014-02) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Asymmetric Unification and the Combination Problem in Disjoint Theories
000D26 (2014) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
001141 (2013-06-27) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Hierarchical Combination of Unification Algorithms
001526 (2013) Christopher Bouchard [États-Unis] ; Kimberly A. Gero [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis]On Forward Closure and the Finite Variant Property
001578 (2013) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew M. Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Hierarchical Combination
001A56 (2012-06-26) Siva Anantharaman [France] ; Serdar Erbatur [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification modulo Synchronous Distributivity
001C14 (2012-03-05) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo Chaining
001C64 (2012) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]String rewriting and security analysis: an extension of a result of Book and Otto
002153 (2011-09-01) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification modulo Block Chaining
002D71 (2010-04) Siva Anantharaman [France] ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch [France]Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
003002 (2010) Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo Homomorphic Encryption
003877 (2009) Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification Modulo Homomorphic Encryption
003F94 (2008-06) Siva Anatharaman [France] ; Hai Lin ; Chris Lynch ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Active Intruders with Caps
004860 (2007-06-26) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Intruders with Caps
004945 (2007-05-02) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Intruders with Caps
004C40 (2007) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Intruders with Caps
006376 (2005) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Closure properties and decision problems of dag automata
006945 (2004) Siva Anantharaman ; Paliath Narendran ; Michael RusinowitchUnification Modulo ACUI Plus Distributivity Axioms
006B10 (2004) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo ACUI Plus Distributivity Axioms
006F93 (2004) Siva Anantharaman [France] ; Paliath Narendran [France] ; Michaël Rusinowitch [France]How Useful are Dag Automata?
007366 (2003) Hubert Comon ; Paliath Narendran ; Robert Nieuwenhuis ; Michael RusinowitchDeciding the Confluence of Ordered Term Rewrite Systems
007454 (2003) Hubert Comon-Lundh [France] ; Paliath Narendran [États-Unis] ; Robert Nieuwenhuis ; Michaël Rusinowitch [France]Deciding the Confluence of Ordered Term Rewrite Systems
007969 (2003) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo ACUI Plus Homomorphisms/Distributivity
007B04 (2003) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]ACID -Unification Is NEXPTIME-Decidable
007D19 (2003) Siva Anantharaman ; Paliath Narendran [France] ; Michaël Rusinowitch [France]ACID-Unification is NEXPTIME-Decidable
007D29 (2003) Siva Anantharaman [France] ; Paliath Narendran [France] ; Michaël Rusinowitch [France]Unification modulo ACUI plus Homomorphisms/Distributivity
009986 (2000) Paliath Narendran ; Michael RusinowitchThe theory of total unary RPO is decidable
009E14 (2000) Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]The Theory of Total Unary RPO Is Decidable
00A123 (2000) Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]The theory of total unary RPO is decidable
00A764 (1999) Paliath Narendran ; Michael RusinowitchRewriting Techniques and Applications
00A946 (1999) Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] ; Rakesh Verma [États-Unis]RPO Constraint Solving Is in NP
00AC40 (1999) Paliath Narendran ; Michaël Rusinowitch [France]Rewriting Techniques & Applications
00B070 (1998) Paliath Narendran ; Michael Rusinowitch ; Rakesh VermaRPO constraint solving is in NP
00B071 (1998) Paliath Narendran ; Michael Rusinowitch ; Rakesh VermaRPO constraint solving is in NP
00B196 (1998) Hubert Comon ; Paliath Narendran ; Robert Nieuwenhuis ; Michael RusinowitchDecision problems in ordered rewriting
00B595 (1998) Paliath Narendran [France] ; Michaël Rusinowitch ; Rakesh VermaRPO constraint solving is in NP
00B596 (1998) Paliath Narendran [France] ; Michaël Rusinowitch ; Rakesh VermaRPO constraint solving is in NP
00B668 (1998) Hubert Comon [France] ; Paliath Narendran ; Robert Nieuwenhuis ; Michaël RusinowitchDecision problems in ordered rewriting
00BA89 (1997) Hubert Comon ; Paliath Narendran ; Michael RusinowitchDecision Problems in Ordered Rewriting
00C093 (1996) Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Any ground associative-commutative theory has a finite canonical system
00DA85 (1991) Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Any ground associative-commutative theory has a finite canonical system
00E357 (1988) Jean Gallier ; Paliath Narendran [États-Unis] ; David Plaisted ; Stan Raatz [États-Unis] ; Wayne SnyderFinding canonical rewriting systems equivalent to a finite set of ground equations in polynomial time
00E359 (1988) Paliath Narendran [États-Unis] ; Friedrich Otto [États-Unis]Elements of finite order for finite weight-reducing and confluent thue systems
00E607 (1987) Deepak Kapur [États-Unis] ; Paliath Narendran [États-Unis] ; Hantao Zhang [États-Unis]On sufficient-completeness and related properties of term rewriting systems
00E830 (1986) Deepak Kapur [États-Unis] ; Paliath Narendran [États-Unis] ; Hantao Zhang [États-Unis]Proof by induction using test sets

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Paliath Narendran" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Paliath Narendran" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Paliath Narendran
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022